(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_UF)
(declare-sort S0 0)
(declare-fun v0 () S0)
(declare-fun f0 ( S0) S0)
(declare-fun p0 ( S0) Bool)
(assert 
(let ((e1 (f0 v0)))
(let ((e2 true))
(let ((e3 false))
(let ((e4 (p0 v0)))
(let ((e5 e1))
(let ((e6 v0))
(let ((e7 (ite e4 e1 v0)))
(let ((e8 (p0 e1)))
(let ((e9 (p0 e5)))
(let ((e10 (p0 e6)))
(let ((e11 (p0 e7)))
(let ((e12 true))
(let ((e13 (xor e11 e3)))
(let ((e14 (ite e9 e4 e13)))
(let ((e15 e8))
(let ((e16 true))
(let ((e17 (= e15 e14)))
(let ((e18 e2))
(let ((e19 (not e17)))
(let ((e20 false))
(let ((e21 e19))
(let ((e22 false))
(let ((e23 (or e21 e22)))
e23
))))))))))))))))))))))))

(check-sat)
